private final SourcePosition prev = POS.get();
public GlobalPosition(SourcePosition pos) {
setPos(pos);
}
private void setPos(SourcePosition pos) {
}
public GlobalPosition(SourcePosition pos) {
if (pos != null) setPos(pos);
}
private void setPos(SourcePosition pos) {